Computable model theory
Results: 195
| # | Item |
|---|---|
191![A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly](https://www.pdfsearch.io/img/c101d2398d61b85e9bb51461457bd0f9.jpg "A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly") | A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantlyAdd to Reading ListSource URL: www.haverford.eduLanguage: English - Date: 2012-03-28 11:42:30 |
192 | Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic —Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2013-04-24 15:15:34 |
193 | Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The NetherlandsAdd to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2011-09-22 04:05:49 |
194 | FlyerWTO04/11GB.aiAdd to Reading ListSource URL: www.wto.orgLanguage: English - Date: 2009-02-10 08:43:20 |
195 | PDF DocumentAdd to Reading ListSource URL: www.newschool.eduLanguage: English - Date: 2008-11-17 16:43:27 |